Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
431	The Winning Ways of Concurrent Games Pierre Clairambault, Julian Gutierrez, Glynn Winskel University of Cambridge Computer Laboratory Abstract—A bicategory of concurrent games, where nondeterministic strategies are for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-06 09:47:04 Theoretical computer science Models of computation Metalogic Determinacy Denotational semantics Structure Symbol Duality Mathematics Model theory Mathematical logic
432	Topics in Concurrency Lecture Notes Glynn Winskel c 2001[removed]Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-04-09 12:07:48 Theoretical computer science Process calculi Models of computation Logic in computer science Concurrency Π-calculus Petri net Model checking Function Mathematics Applied mathematics Logic
433	ECSYM Part B2 EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:54:38 Applied mathematics Logic in computer science Programming language semantics Concurrency Denotational semantics Petri net Power domains Actor model Operational semantics Theoretical computer science Computer science Models of computation
434	PIPE v2.5: a Petri Net Tool for Performance Modeling Pere Bonet, Catalina M. Llad´ o, Ramon Puigjaner Departament de Ci`encies Matem`atiques i Inform`atica Universitat de les Illes Balears 07071, Palma de Mallorca, Spai Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2007-08-04 17:03:23 Diagrams Formal methods Computing Computer science Algebraic Petri nets TAPAAL Model Checker Petri nets Models of computation Concurrency
435	[Downloaded from www.aece.ro on Tuesday, February 28, 2012 at 14:09:08 (UTC) by[removed]Redistribution subject to AECE license or copyright. Online distribution is expressly prohibited.] Advances in Electrical an Add to Reading List Source URL: ivanzuzak.info Language: English - Date: 2013-10-13 05:11:48 Automata theory Finite-state machine Graphical user interface testing Graphical user interfaces Model-based testing Software engineering Model checking Graphical user interface GUI widget Software testing Models of computation Mathematics
436	For the ACS course Advanced Topics in Concurrency Event Structures, Stable Families and Concurrent Games Glynn Winskel [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:06:24 Computer science Applied mathematics Concurrency Denotational semantics Actor model Petri net Game semantics Domain theory Semantics Theoretical computer science Models of computation Logic in computer science
437	Under consideration for publication in Math. Struct. in Comp. Science A Relational Model of Non-Deterministic Dataflow Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-05-12 10:41:14 Theoretical computer science Monoidal categories Logic in computer science Computer architecture Programming language semantics Dataflow Kahn process networks Operational semantics Kripke semantics Models of computation Mathematics Logic
438	c The Author[removed]Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: [removed] doi:[removed]comjnl/bxh052 Eve Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-06-23 10:59:08 Applied mathematics Symmetry Model theory Logic in computer science Petri net Denotational semantics Causal sets Equivalence relation Power domains Mathematics Theoretical computer science Models of computation
439	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-06-09 12:22:14 Petri net Models of computation Symbol Model theory
440	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY May 10, 1977 Al Working Paper 134A Laws for Communicating Parallel Processes Add to Reading List Source URL: dspace.mit.edu Language: English - Date: 2008-09-19 03:03:34 Computing Inter-process communication Denotational semantics Process calculi Message passing Computation Distributed computing Futures and promises Parallel computing Actor model Concurrent computing Concurrency